\section{Reset behavior}

When there is a reset, the reset\_addr is put in the PC register.




